1601. Q.E.D. beauty in mathematical proof /
پدیدآورنده : written and illustrated by Burkard Polster
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Proof theory
رده :
QA9
.
54
.
P65
2004
1602. Qualitative spatial and temporal reasoning
پدیدآورنده : Gérard Ligozat.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Qualitative reasoning.,Space and time-- Mathematical models.,Spatial analysis (Statistics)
رده :
Q339
.
25
.
L54
2012eb
1603. Quality, Resemblance, and order
پدیدآورنده : Shreider, Iulii Anatolevich
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S524
1975
1604. Quantification theory
پدیدآورنده : / by J. A. Faris
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
Fa-Q
1605. Quantifiers, Quantifiers, and Quantifiers
پدیدآورنده : \ Alessandro Torza Editor
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Language and logic,Logic, symbolic and mathematical,زبان و منطق,منطق ریاضی,a03,a05,a03,a05,Grammar, Comparative and general -- Quantifiers.,دستور زبان تطبیقی -- سورها
رده :
BC
57
.
Q25
2015
E-Book
,
1606. Quantitative analysis methods for substantive analysts
پدیدآورنده : DeFrancesco, Henry F.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
1607. Quantitative analysis methods for substantive analysts
پدیدآورنده : DeFrancesco, Henry F.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
1608. Quantum Measures and Spaces
پدیدآورنده : by Gudrun Kalmbach.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Mathematics.
1609. Quantum logic in algebraic approach
پدیدآورنده : Redei, Miklos
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic, Symbolic and mathematical , Quantum theory , Hilbert space , Quantum field theory
رده :
QC
174
.
17
.
M35
R44
1998
1610. Quantum probability--quantum logic
پدیدآورنده : Pitowsky, Itamar
موضوع : ، Logic, Symbolic and mathematical,، Quantum theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1611. Quantum probability--quantum logic
پدیدآورنده : Pitowsky, Itamar
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Quantum theory
رده :
QC
1
.
L4
v
.
321
1612. Quantum probability-quantum logic
پدیدآورنده : Pitowsky, Itamar, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Quantum theory
رده :
QC
3
.
L28
Vol
.
321
1613. Random Sets
پدیدآورنده : edited by John Goutsias, Ronald P. S. Mahler, Hung T. Nguyen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Distribution (Probability theory).,Logic, Symbolic and mathematical.,Mathematics.
1614. Reading Frege's Grundgesetze /
پدیدآورنده : Richard G. Heck, Jr
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Frege, Gottlob,1848-1925., Grundgesetze der Arithmetik,Arithmetic-- Philosophy,Logic, Symbolic and mathematical
رده :
B3245
.
F23
G784
2012
1615. Reading, Writing, and Proving :
پدیدآورنده : by Ulrich Daepp, Pamela Gorkin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Mathematical Logic and Foundations.,Mathematics.,Number Theory.,Analysis.,Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.
رده :
QA8
.
9-10
.
3
1616. Readings in Formal Epistemology
پدیدآورنده : edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
1617. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
1618. Readings in formal epistemology : Sourcebook
پدیدآورنده : Horacio Arlo-Costa, Vincent F. Hendricks, Johan van Benthem, editors; assistant editors : Henrik Boensvang, Rasmus K. Rendsvig
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Game theory
رده :
BD
161
.
R42
1619. Realizability :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
1620. Reasoning about uncertainty. ]CD[
پدیدآورنده : Halpern, Joseph Y., Joseph Y. Halpern
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Uncertainty )Information theory(,، Reasoning,، Logic, Symbolic and mathematical
رده :
Q375
.
H35
2003
